выводимых предложений

См. также в других словарях:

• ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …   Философская энциклопедия

• ВИТГЕНШТЕЙН — (Wittgenstein) Людвиг (1889 1951) австро англ. философ, Проф. философии в Кембриджском ун те в 1939 1947. Филос. взгляды В. сформировались как под воздействием определенных явлений в австр. культуре нач. 20 в., так и в результате творческого… …   Философская энциклопедия

• Математика — Слово математика происходит от греческого μάθημα (наука, учение), в свою очередь происходящего, вместе с имеющим одно с ним значение словом μάθησις, от глагола μανθάνω, первоначальное значение которого, учусь через размышление , устанавливало… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• РУБИНШТЕЙН —         Сергей Леонидович (1889 1960) психолог и философ, один из основоположников “деятельностного подхода” в психологии, педагогике, философии и культурологии. “Пограничность” теоретических исканий Р. поставила его вне большинства советских… …   Энциклопедия культурологии

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• геометрия — и; ж. [греч. gē Земля и metreō измеряю]. Раздел математики, изучающий пространственные формы и отношения. // Учебный предмет, излагающий этот раздел математики. Урок геометрии. Преподаватель геометрии. // Разг. Учебник по этому предмету. * * *… …   Энциклопедический словарь

• НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …   Философская энциклопедия

• МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА — математическая дисциплина, предметом к рой является разработка и изучение понятий, образующих основу формального аппарата для описания строения естественных языков (т. е. метаязыка лингвистики). Возникновение М. л. можно отнести приблизительно к… …   Математическая энциклопедия

• Импрессионизм — ИМПРЕССИОНИЗМ. И. в литературе и искусстве определяют как категорию пассивности, созерцательности и впечатлительности, применимую в той или иной мере к художественному творчеству во все времена или же периодически, в той или иной форме… …   Литературная энциклопедия

• ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… …   Философская энциклопедия

• МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… …   Философская энциклопедия